Applied Formal Methods--fm Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : Proceedings
ISBN: 9783540482574
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.